> What you want is simple: Support for defining variables inside functions.
All we miss then yet is only iteration/recursion inside of these functions, and
they're turing-complete ...
(I know, the language itself is already, but function themselfes are not, are they ?)