Types within NEWCNC