group and prioritize identities

[trebor]

sometimes two patterns will perform nearly the same action, and one may be preferable to others. for example:

sqrt(x) == y -> x = y ^ 2

is prefered over:

sqrt(x) == y -> (sqrt(x))^2 == y ^ 2

and if one is chosen, the other need not be offered.