~~It didn't work; PyPy moved away from partial evaluation years ago~~ Sorry, I think I was responding to completely the wrong comment. I would also like a more

~~It didn't work; PyPy moved away from partial evaluation years ago~~ Sorry, I think I was responding to completely the wrong comment. I would also like a more general-purpose tool for writing fast programming language implementations