arithLit.Canonical.of_monome constructor