The documentation of the semantics of container types in dADL is out of date, and also somewhat unclear, since it is not obvious what the name of the hidden attribute implied by keyed items in a list or hash is.