semantic: Strip storage types when checking primitives.