+ we track del's too. not that it's really useful...
+ handle names defined in a function not eclipsing executable outside that function.
+ more tests.
+ support functions' formal parameters.
+ support for bound variables..
- uups, for's don't define a new scope.