Various type level improvements including closing up most of the type families, proper kinded signatures in most places and the simplification of a few families. The entire type code stuff is no longer needed and compilation is more robust but GHC 7.8 is now the minimum.