Still better evaluator semantics given annotated env vars.