method pp_vartype fmt x = self#pp_tau fmt (VAR.tau_of_var x)