Add let expressions
Add tuples
Refactor `eval`