Flattening the Module Hiearchy a wee bit
note about why the Traversable instances for Shape need both Z and (S Z) base cases
fixup the module names and the list in the cabal file