Migrate from `type-level` lib to `GHC.TypeLits`.

I did that change while upgrading to GHC 7.8.2.

According to the doc it's something you wanted to do anyway, so I hope it's fine the way I integrated `GHC.TypeLits`?

review by @NathanHowell (I suppose)