Improve the [symmetry] and [etransitivity] tactics

It seems that [apply] uses an inferior(?) unificiation engine.  That of
[refine] and [exact] (and even [eapply], in some cases) are better, in
my experience.
Merge pull request #166 from JasonGross/fix-symmetry

Improve the [symmetry] and [etransitivity] tactics