Begin experimenting with comparators

This adds a `Cmp` trait for comparators and uses it to parameterize `libcollections`'s `BinaryHeap`.
`check_lt` is the best I've come up with so far, but I'm not entirely satisfied with it.