SumMap in Algebra.Ring.BigOps should come from Semirings /Monoids

[mzeuner]

The fact that morphisms preserve finite sums is proven for rings only but does already hold for monoids! The lemma should be proven in Monoid.BigOp first and then for semirings and rings using the result for monoids.