added notes for Sequence substition; started newtype exercise; added a few more notes for ApplicativeLaws.