implement EnvM

a mapped Env that stores unmapped values internally but behaves like a
normal Env