Lambda Specification, Part B: Lambda Expressions