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.