Wow, this is pretty good, nice work! I’ve only skimmed through it, noticed one detail which I don’t think is correct, namely, the two error handling tips contradict each other.
I believe that omitting the error set is exactly the same as specifying anyerror global error set in the error union. We’ve discussed a few points about anyerror here. I’ll link it just for context.