An Essay in Lambda Calculus