VD>Текущее видение синтаксиса и семантики новых синтаксических макросов описано здесь.

[offtop]
Раз «свежие» мысли не принимаются, то буду придираться
[/offtop]

В виду того в PEG однозначность определяется порядком, если приоритеты у макросов в макро-классе?
Также не нравится то, что параметры могут описаны PegRules. Из-за чего синтаксис макроса размазывается по двум секциям «syntax» и «where». Не лучше ли ограничить параметры только типом или ссылкой на макрос?

Есть ли вторичные макросы-хелперы? Например, макрос разбит на несколько вторичных макросов, но вторичные макросы по отдельности не должны парситься. Или по другому, есть стартовый макрос, и макросы-подправила.