Let bindings take Expressions instead of Values.
Test expressions in let bindings.
Test for unknown variable reference.