I found out today that DIP 1007 ("future symbol" Compiler Concept) has been implemented. It'd be great if the grammar and spec would explain it. I can do the grammar because it's trivial, but I'm not confident in explaining the exact semantics of it.