semantic: Check for type equality with storage types.