* Fixing python typo
* Changing the name of the Env to Scope, it's more explicit and it's what we'll use in the future
* Added symbols for the booleans)