Add Term.show and Clause.show
Splitting