Types within ENCO