Rename Env to Scope. Introduce functions. Captured/local scopes