allow type covariance only when raw map/array literals are given
add tests for the prev commit
Merge pull request #264 from jsx/wasabiz/feature/map-literal-type-widening

map/array literal type widening