Monoid to semigroup

Changes the Producer API to make it depend on Semigroup instead of Monoid, as Summingbird does not depend on the identity element.