This is an absolute gem of a blog post and project!
I’m working on something similar (a typed scheme), and reading your incredible post is inspiring and thought provoking.
This is such a nice and thorough walk-through. Props!
That’s a very astute set of simplifying assumptions. I wish I were capable of doing something so sensible. XD