define PlusOp for Semigroup
Merge pull request #100 from mikegagnon/plusOp_for_semigroup

define PlusOp for Semigroup