Modified RF's Makefile to clean Latex artifacts in lecture-notes/
Second set of lecture notes: type system stuff