Types within NOAT