This is kind of a cool project, and I have no doubt it is a good language for the type of programming the author surely does. However, the design of the langua

This is kind of a cool project, and I have no doubt it is a good language for the type of programming the author surely does. However, the design of the language feels like it's a imperative language with a few a few additional features (declarative solver) bolted on to facilitate sub-problems within its use case: well within the paradigm, but lacking real coherent design, or an innovation that would merit non-trivial adoption. That said, I would be interested at pursuing the source code: it's an interesting hobby language.