let tau_of_var = Fol.Var.var_type