semantic: Fold storage types down before semantic checks.