Add Term.vars and Term.vars_of_many