This makes sense to me.
Just a note of caution, ShapedType is used quite a lot (and I’m not sure what would be the consequences of removing it from VectorType). I tried something similar a while ago (splitting ShapedType into UnrankedShapedType and RankedShapedType; [RFC] ShapedType Type Interface Cleanup) and quickly ran into issues because so much code depends on the current API. (That change still has not landed.) It may not be as difficult for VectorType though…