It's too late to do much. I'm going to do some quick doc passes and describe them.
I basically described some of the "matcher" classes, but I think this is all missing a unified explanation. The changes I made don't really fit into the ideas I was think about with "what is needed for literate programming in a modern language?" but I did end up noticing how anemic the documentation for Structured Data was, so that's helpful.
I think I'd like to make a serious effort with the Jedi stuff, now that I'm over the hump of "code is way out of date" and now have to consider the hump of "never quite worked out how to extend these systems". I'll try to write that kind of stuff up tomorrow. Good night.