Proofs for Applicative, Monad, MonadTrans instances of CofreeT.
Merge pull request #43 from team-free/master

Proofs for Applicative, Monad, MonadTrans instances of CofreeT.