[eval2] Implement LOAD-TIME-VALUE.