added my part (the first part) of today's lecture, the type inference example I wrote on the board is in chapter 6 of the book