Use Environment to store types of local variables.
Avoid reassigning vars when importing a module
Name resolution up the module hierarchy, allowing names in the global module to be referenced.
Bump version