comonad-transformers and representable-functors are now deprecated

Update to comonad and adjunctions packages, respectively, and make a few
necessary renamings.
Merge pull request #12 from byorgey/master

comonad-transformers and representable-functors are now deprecated