No, that's not true. You can have an `ArrayValue` whose elements are arrays, and then your `tpe` can have multiple dimensions.