Removed the Match method from the Monad definition

This was plain wrong
Started to fix the MonadPlus stuff