Fix Information preservation does not hold for MonadZip (CofreeT f m)
Redo mzip naturality proof for CofreeT
Prove mzip information preservation for CofreeT