Require a Monoid if a method is called xxxMonoid

This PR changes `fold1Monoid` and `reduceMonoid` to require a `Monoid` instead of a `Semigroup`. It also fixes a copy & pasted typo in some docstrings.