Stabilized the definitions of MonadMore, MonadPlus, MonadOr

Created a template for checking various monad rules