Types within PROMECAM