all cases of heap_change_well_typed except for prim