rewrite rules: normalisation examples - allow 0 multiplicity only in submatches, not in subrules