more precise types
parameterized types

I would like to store other kinds of information about the context than
just the names of the variables involved.
scope bounds
add README