- Polishing the lookup definition, to introduce the env_T operations