Updated haddock documentation to reflect TypeLits usage.
Bumping `base` lower bounds to 4.7.
Upgrade test to TypeLites (WIP TO SQUASH)