[eval2] Reimplement LAMBDA (compilation part).