Finished sections 7.1.1, 7.1.2, and 7.1.5, with the exception of a few exercises. Better commenting has been added.