Types within COMEQ