add lambda (naive)
extend lambda-term