New: Semigroup

2019-05-02

A semigroup is a type together with a closed associative binary operation.