Document main classes in nice table for {parsing, checking, simplifying, presenting}

[ComFreek]

Florian once drew this image for me on a whiteboard that I copied:

Should probably to go https://uniformal.github.io//doc/api/syntax/ with a new header "Algorithms".