semantic: Forbid calling MI non scope structs with scope functions.
semantic: Implement retrieveScope for StorageTypes.