Clean chapter 1

Add missing parenthesis, monospaced and italic font regions, rephrases
some sentences etc.
Add definition of type inference and some other notes
Add algorithm pseudocode
Add some thoughts about results in chapter 5