Add two introductory slides on the goal of type reconstruction and
the use of type variables.
Almost finished the introductory part about substitutions.