Types within BUR-BEAVER