lambda-term 1.4
Merge pull request #561 from diml/master

new release of lambda-term