More progress on type soundness

The type of a store updated to take into affouct the new difference
between Refv and W8arrays that can be in the store.