(I'm going to check in some more uses of rich comparisons, but the
basic feature should be in place now.)