Switching to GHC.TypeLits
Updating library (not tests) to work with current GHC HEAD