Add equality predicate for solutions that ignores order.

This prevents adding duplicate solutions of the form ((a b) (b a)).