added lambda

Since we decided that we allow definitions in the unified-builtins2 branch to pass if they pass with the Maude backend only, here is lambda.