refactoring in Module_basement
Environment::LookupValueType takes list of expr and expr