Add functions Term.is_const, Term.is_proper_func