semantic: Handle scope in StorageType.