infer map literal types from all elements
infer array literal type from elements
fix lca
remove arrayliteral-type-conflict test
add a test