simplify Env frames; remove env_trace.