Removed the extras from Monad.  They were annoying and had no benefit.

I also proved that State is a monad.