It lives! As of Monday Raven’s types are working, in the sense that fuzzing no longer continually finds new problems. It’s been a journey; I’ve seen types you wouldn’t believe. And it’s odd to have spent nearly four months on a few hundred lines of code. But while the result is relatively simple, it’s also utterly specific, everything just so; small changes can break it in non-obvious ways, which means I had to go down a lot of blind alleys to get here.