Handling of in propagation in the composite state declaration.
Support for type sets being references as elements of type sets.
old style reference to named type set (just name without {}) supported
for backward compatibility.
New style is { tsname }
Makes name TS references syntactically more visible.