Title: A++ and the Lambda Calculus