> The major innovation in this space is to make the compiler an interpreter which can evaluate the language at compile time (and emits code for runtime where it cannot).

Show us an extant language that does this, then.

Partial Evaluation (automatic) was a very unsolved problem, last I looked.