Types within ALLTRA