Implement at-most-one repetitions of token groups in macros