Structured representation of the "shape" of values that match this type. May return no layout if the type is invalid.