Clarified documentation for CoiterT. Added ComonadEnv instance.