Types within CORMA