Types within AMADA