semantic: Make dereferencing storage types transitive.