@jacereda @neauoire Correct. In the past, I've used Modal to generate boilerplate and bytecode. As a general rewriting system, it's quite useful as a compiler.