Start Polymorphism chapter
Solve some polymorphism exercises
Insane proof simplification!