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