Without more abstract notions of what constitutes important aspects of a programming language, one is seriously in danger of falling into the Turing Tarpit.
... Now, we don't know how to make that computer. We don't have a theoretical model for Turing ...
... thing that is Turing Complete has a different set of rules for when users and owners get ...