Update and clean-up the implmenation of GHC.TypeLits