Proof that CofreeT is a monad transformer.
Changed project name in Readme file.