monoid of numeric with infix * operation. Will create product of all elementsit is applied to.
redefines Monoid.e:identity element
redefines Monoid.infix ==:equality operation
redefines Monoid.infix ∙:associative operation