monoid of numeric with infix + operation. Will create sum of all elements itis applied to.
redefines Monoid.e:identity element
redefines Monoid.infix ==:equality operation
redefines Monoid.infix ∙:associative operation