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.