Incremental compiler documentation

This PR updates documentation in several places to make documentation up-to-date with incremental compiler changes.

Check commits for particular changes.

I built documentation that I modified locally and it looks like everything is properly formatted.