fixed Show instances for Zero/Succ.

show $ (undefined :: <n>)
	(where Container Int <n>)

should succeed returning a string representation now
cleaning up the code
added some doc
changed .cabal file to version 2.0.0.3