See the note above--they're polymorphic because of a typo.

I agree that `compare_keys` is useful. I did not intend to remove it, it was an accidental omission. I'll bring it back.