[eval2] Clean up, write more comments.
[eval2] Fix manual.
[eval2] Implement LOAD-TIME-VALUE.