fixed shape inference for Map
added value range analysis and opts