updated the ignore file
added the red book, and liu's text as references; will add several others
wrote some BS about the subject
added finite type morph, and added equiv between liu's and hart's def