So this has been baking for a while, and I think it’s ready for a wider audience.
The README file contains basic instructions for how this can be used,
as well as a link to our original design (I also have a half-written
blog post about this design that’s been languishing for a while, which I
may finish at some point).
I’m not sure if this is ready for “proper” usage yet, but it has a
working API and is sound, as far as I can tell (aside from the issue
Please let us know of any bugs or unsoundness you come across. Contributions (especially of testcases) welcome!