notes about typing rule for if
edits to last lecture & homework