[opaque pointer type] Explicitly store the pointee type of the result of a GEP