Interesting idea. In practice how do you isolate/integrate the generated code from/with the handcrafted one? Does it feel natural?
I'm also really curious about the rationale for the cobolish make a be b minus c. Cobol did that because it didn't aim to be used by programmers. How about Zolang?