iteration on term classes and the term unification routines