background stuff:
- lexicographic combinators in Comparison;
- small changes to Cache and Hash;
- list comparison/max element in Multiset