...
Another really cool feature is that none of the target code generators would have to change because all of this happens sort of like a macro preprocessor within ANTLR.
Issues
Associativity...token option?
What about casts:
e : '(' type ')' e
... |
The mechanism relies on being able to text the next token as the operator...would checking '(' be unique? Might conflict with function call '('.