Merge pull request #41 from team-free/master

Applicative and Monad instances for CofreeT
Added iterTM to Control.Monad.Trans.Free and .Church to convert the free wrapper into an arbitrary transformer wrapper
Merge pull request #43 from team-free/master

Proofs for Applicative, Monad, MonadTrans instances of CofreeT.
Merge pull request #42 from chowells79/master

Added iterTM to Control.Monad.Trans.Free and .Church
Merge branch 'master' into haddock-draft