Started adding a λ-calculus primer.