All DataVariablesused to expose complex data structures of complex DataVariableshave the BaseDataVariableTypeas type definition if they are not complex by themselves. The reason for this approach is that the complex DataVariablesalready define the semantic of the containing DataVariablesand this semantic is not used in another context. It is not expected that they are subtyped, because they should reflect the data structure of the DataTypeof the complex DataVariable.