semantic: Don't dereference StorageTypes in typer.