non-commutative monomials are always in normal form
prefix semiring is parseable now