Tiny edits, nothing of great consequence.
Turned Cref_ into just a type family.
Minor cleanup.
Started using DataKinds, fixed Bits-implying-Num assumption.