tweaks to array concrete data structure code