Support symbolic indexing into concrete containers

[pschanely]

There is some in-progress work to Intercept identity operations. Once we have that we could, in theory, symbolic index into a concrete list, and return a proxy with a not-yet-determined identity.

Note also that, even without identity intercepts, we could be doing this when the values are of a uniform type and representable with symbolics.