Git ignore latex output
Add MonadZip instance for CofreeT
Add MonadZip instance for CofreeT proof skeleton
Prove mzip naturality for CofreeT