I see a lot of interest and good questions here. I've just published a blog post with more details for anyone interested https://pneuma.computer/blog/how-pneuma-generates-compiles-a...