Added tests for Domain::lt, Domain::eq, and Domain:::leq, per the
description of issue #153.  They would be expected to fail, but aren't.
More tests which stubbornly refuse to fail.