A++ and the Lambda Calculus