Update lecture 2 notes, simple Makefile

Mostly small changes, bit of new content/different formalization.