major reimplementation of Shrink
added commented-out Comonad instance
renamed some exports
added README