Cleaned up some modules.

MergeableRecord is gone. Miscellany is cleaned up.
Updated Cabal file version.
Cleaned up a lot of unused utilities.

This breaks compatibility with GHC pre-6.10, due to reliance on
the availability of Control.Category.
Changed type equality constraint to a FlexibleContext.
Pacifying hlint.