Started work on missing MonadPlus and Monoid methods

MonadPlus: MSum, Guard
Monoid: MConcat