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