Hmm. This is a very common functional programming pattern in languages like Haskell and Scala. You define an AST representing your domain, using native, simple types, usually structured as a tree. Then you just write code...