[eval2] Add more type declarations.
[eval2] Move SOURCE-LOCATION generation into the bytecode compiler.
[eval2] Clean up.