Wow, what a nice accomplishment! Kudos!
These kind of projects are a joy to follow along, and the writing is very smooth and interesting, with just enough detail but not too much.
Some other projects that I admire in this vein of using the axiom - anything can be made to compute anything:
This is awesome. When you want something hard enough, sometimes it just takes time.