UP type of type in bruno grammar