Multiple fixes for GEP
Fix idx computation in SMT
Store only the idxs and discard types, which are also stored with the idxs
As a side-effect, type constraints improve for unspecified idx types