Revival of pushX
push' is indpendent
Adjust imports
Unifiy Env and EnvWithError
EnvWithError is now the new Env!