renaming and comment cleanup of mult monomials rule