Types within ARMSTRONG