has element at index `i` been set already? This is true after an explicit
call to `put i v` for some value `v` or for indices in the range `0..length-1`
for all indices that existed before `expand` was called.

pre
  safety: 0 <= i < length+n