Continuous improvements: Tuples, TypeUnions, descriptor extraction

[aSemy]

• make the Tuples API a little nicer by returning an iterator to the constructor, so there's no need for fetching elements by index.
• extract descriptors from sealed subclasses properties (they were previously ignored)
• create a specific 'TypeUnion' declaration, so the type aliases are more distinct and the brand typing only works on type aliases