new release of lambda-term