add missing array-dereference case to intLang semantics
update definition of store_vs, and start fixing proofs

store values can now contain arrays which have values inside them, so
store_vs needs to collect the arrays and and not just the Refvs.