Types within ENCE