update various lemmas to do with store values
update compiler proofs for 'a arrays