Self-test for important "non-idempotence" property of HOLsets.

In particular, if the set's comparison function is an equivalence
relation, then check that adding x0 and then x1 (where x0 \equiv x1),
results in a set containing x1, not x0.