Axiom of normal representation
Ax::normalRep states that an abelian monoid
has a canonical representation of its zero element, i.e., that there
is only one unique expression to represent zero.
If the axiom
Ax::normalRep holds for a domain
one may test for zero by comparing an element with
the system function