I can see that your work contains much that is new and good however the new is not good and the good, not new.

A paper on this work would be illuminating if ignited.

Congratulations: You have now once again successfully solved one of the one star exercises in Knuth's TACP.

In this work, is your coauthor a professor, post-doc, Ph.D. student, Master's student, undergraduate, or a visitor from a middle school?

So, your new programming language is Turing Machine equivalent. Okay. Beyond that its main feature is that it 'encourages a programming style' you prefer. Just why is that 'style' more significant than, say, style in the rag trade?

Your work has used some theorems from math but has it added any theorems to math?