Added term example for the lambda-calculus