more unification tests (with binders)
bugfix in Term.RenamingTable (hashing...);
different implementation of apply() and renaming
some code cleanup;
one more test, with nested binders