Initial commit.

Substitutional interpreter for the call-by-name λ-calculus; implements
lexical scope via α-conversion.