Constant indexing array

[dgrnbrg]

There can be an option to the array of whether to be a memory (dynamic addressing) or a bitvector (constant addressing only). Then array-get and array-assoc can generate different code since the implementation can be different.