Text this: Normalization of IZF with Replacement