Types within BEECH