Types within ANDI