Rename GHC.TypeNats to GHC.TypeList, cleanup, add type-level strings.
drwxr-xr-x - libraries