Is it not possible to implement basic compiler support as a primitive ? 

You could then drop all the AST nodes from your image ? 
Any comments on what _would_ be involved in making the compiler a (pluggable) primitive ?

Cheers

Brent