[eval2] Fix a refactoring bug.
[eval2] Clean up.
[eval2] Document eval2-types.
[eval2] Document eval2-types more.