let tau_of_var x = x.var_tau