let tau_of_var v = Fol.Var.var_type v