progress on day 2
Merge branch 'cmu-2013-fall' of github.com:favonia/hott-notes into cmu-2013-fall
Outline of remaining lecture