a few more revisions to lecture notes
Merge branch '2014' of github.com:sweirich/pi-forall into 2014

Conflicts:
	notes3.md