Term.py, terms as objects