Document operator==/operator!= as undefined if the equality predicates aren't equivalent. Fixes #2237.