This is probably just going to be buried, but I think someone needs to tell you, Mr. Bender, that you are failing to see the forest through the trees.
In this work and in other projects of yours that I see on github, I see an incredible amount of effort wasted on semantics, formal theory, notation and attempted minor refinements to syntax.
Maybe your obvious intelligence would serve us all better if you focused more on creating new programming languages or software development tools rather than refining existing systems that are quite functional.
Have you ever created a tool that has anything approaching the utility of CoffeeScript? Because I think that unfortunately in your blog post you've proven that your study of mathematics was actually wasted.
Math is just obfuscated code that doesn't compile or run.