Types within BEAVER