[e12e]

Looks interesting. I see you're implementing in python - did you consider rpython/pypy?

See eg:

https://rpython.readthedocs.io/en/latest/getting-started.htm...

https://morepypy.blogspot.com/2011/04/tutorial-writing-inter...

https://rpython.readthedocs.io/en/latest/examples.html