I haven't followed your constructs in detail which are doubtlessly impressive, but I stumbled several times over annoying inconsistencies in the TS type system which render any possible Turing Completeness merely a theoretic one, or stated differently: It just proves something about the expressiveness of TS's (type system) syntax. In reality I am severely disappointed about TS (I am a newbie to this language) and I want to dampen a bit unrealistic expectations that your article might raise. I have written my own article "TypeScript: It’s getting unpredictable if you hit the language’s “design limits”" (https://matthias-falk.medium.com/typescript-its-getting-unpredictable-if-you-hit-the-language-s-design-limits-9741658a0cee) on this issue (why the hell is it impossible to make a proper link within responses). Thanks again for your fantastic inspiration to implement arithmetic within TS's type system. As you can partly see in my article, I have picked up and elaborated your ideas.