Duncan Sands wrote: [snip] >> Finally, I suggest defining these additional terms in the >> type-classification section: >> - value type >> - scalar type >> - aggregate type > > Good idea. Want to prepare a patch? Sorry, I wasn't clear. What is a value type? A scalar type? An aggregate type? Best Regards, Jon