add `compare` module with comparators

Take two. The heap code will follow later.
On second thought, this doesn't work with coherence or `core` blanket impls.