Results 1 comments of Dan Feltey

I would think that `on` in the extended language should be both a binder and a reference, because you can rename from there which renames the non-terminal in the extended...