Fix some ASCII-art in notes3.md
Merge pull request #5 from nomeata/patch-1

Fix some ASCII-art in notes3.md
notes about typing rule for if
edits to last lecture & homework
homework and test files
Merge branch '2014' of github.com:sweirich/pi-forall into 2014

Conflicts:
	notes3.md