But you can make any arbitrary compiler within the language itself to reduce certain patterns to fast native instructions. It’s interesting as a universal Intermediate Representation.

Damn, that's true. I keep coming back to this thread hoping for more insight because the idea is very pretty.

This depends a lot on what an eval step actually is. Could you give us an example or a reference to compare it to?