[eval2] Update EVAL-TLF.
[eval2] Implement EVAL-WHEN correctly.