lambda-calculus: first commit