Move lib sources to src to make way for tests
Move polykinded Proxy to its own module
Clean up Functor Tagged
List DataKinds and PolyKinds extensions in .cabal
Bikeshed names of multiplication routines
Build explicit export list
Hand-roll Eq instances

Unfortunately, requires Flexible instances at this time.