I think this is exactly the same approach PyPy used 15 or so years ago! Partially evaluate the language runtime

It is! https://news.ycombinator.com/item?id=7061913