Types within ITNAC