In the notes, fixed a few typos and grouped the (ift ...) rules together.