Various cleanup/documentation changes
Various cleanup/documentation changes

- Move the historical notes to the very bottom
- Reintroduce the section about algebra (at the very bottom as well)
- Doc tweaks
- Remove legacy comments

quchen/prettyprinter,quchen/prettyprinter