Added some proofs for isomorphism and naturality in Control.Monad.State