Update TODO and interactive example
Add nested `let` test
Implement division