Add [symmetry] and [etransitivity] tactic notation

These work with paths.  Now you can just say [symmetry] again.