TL:DR QM programs can be represented by a Lisp DSL, like everything else in life. It's all brackets, all the way down /s