Fixtype of types [C:6.2.5].
This is a tagged union type, introduced by fty::deftagsum.
We model a subset of the types denoted by the type names that we currently model; see tyspecseq, obj-adeclor, and tyname. In essence, this fixtype combines a subset of the cases of tyspecseq (abstracting away the flags that model different syntactic variants), with the recursive structure of obj-adeclor.
For array sizes, we use optional positive integers. The size is absent for an array type of unspecified size. If present, the size must not be 0 (this is why we use positive integers), because arrays are never empty in C [C:6.2.5/20].