Document MonadPlus and minor core.mplus improvement