Guidelines for defining an implicit sequence that has no delimiter
The type of a component cannot be a binary item whose length
is not fixed or sized.
If the range of a component is bound, but the type of the
component is unbound, the type must be ending-distinguishable from each type
in the component's following set.
If the range of a component is not bound, all the following
rules apply:
The type of the component must be content-distinguishable
from each type in the component's following set.
If the maximum range for that component is greater than
one, and the type is unbound, the type must be ending-distinguishable from
itself.
If the type of the component is unbound, the type must
be end-distinguishable from each type in the component's following
set.