When an instruction replaces an unavailable allocation, replace its type as well so that future GEP calculations use the right offsets.