Adding the start of the second pattern matching post
Finished the first pass of the post on inverted polymorphism
Adding a link to 2.4 of sicp