semantic: Make deepStripStorageType more pervasive.