Improved equivalence unification simplifier.
Added simple test of self type.  Typechecking works but resulting type tree is undesirable.