Add support for reads from immutable slots/indexes

[smarr]

We should do AST caching of reads from immutable storage locations.

I tried this before, but not correctly: fe9140a

May only be beneficial for very few programs, and has the problem of caching values.
Though, for things like reading from outer objects, that might be beneficial.

The previous attempt was incorrect I think.
Though, by doing this, we can avoid the subclasses for immutable objects/arrays, and a lot of complexity with it.
By moving it into the AST, we could get a uniform handling.