Types within ATOS