Types within COIMA