Consistent naming for combine/sum/prod.

Added combineOption, combine, combinen to Semigroup/Monoid/Group.
Added sumOption, sum, sumn to their additive variants.
Added prodOption, prod, prodn to their multiplicative variants.

Submitted for issue #298