Types within ELMA