Updates after meeting on Monday.

- Fix a few typos.
- Add some more detail about the type system.
- Complete rewrite of the main queue section.
- Add 'single pass pipeline compiler' appendix.