Update Simon Peyton Jones and Peter Norvig notes.