This abstract DataType defines an integer whose length is defined by its subtypes.