Types within CADY