use SML/NJ lib binary map to implement EnvStr