Alternative solution -- compare interval-pairs lexicographically, in reverse order

Also fixes bug #32, but preserving equality across compare and (==)