I went through a few more tests in the Ink port. I think it's nearly done, just a few more to go.
Not much to say in detail. It's gotten to the point where sometimes tests just find weird bugs. Also, I found some behavior in mypy that sure seems like a bug; I'll have to look into that.
I'm working on another kind of abstract coding project, so that's some kind-of questionable judgment on my part, but I'm hoping to just learn stuff from it.
Anyway, nothing more to be done right now.