Types within PLASTEC