updated lambda-term