lambda-term 1.7
Merge pull request #2902 from diml/lambda-term-1.7

lambda-term 1.7