Types within BETOL