notes
Whitespace as a compiler back-end
Higher-level control-flow constructs
Higher-level data structures
Nospace grammar
Source-level optimizations
Stack substrate IL ideas from Kitten
Whitespace back-end for Idris