Capture Shapes and Dimensions in the Type System

[sirinath]

Can you capture shapes and dimensions in the type system.

E.g. This variable is an array of 1 dimension with length greater than a certain length.