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.