Monoid package:algebra

An additive monoid
zero + a = a = a + zero