Add general information slide for lambda calculus