comonad-transformers and representable-functors are now deprecated

Update to comonad and adjunctions packages, respectively, and make a few
necessary renamings.