Improved tests of unification - still lots to do.