remove EmptyEnv

make ToplevelEnv serve as the terminator in the Env chains