name of type should be included in instance property names
This would be more informative and also avoids name conflicts. A name conflict arises now with e.g.:
/** * @property name: ... */ instance C T1 ... /** * @property name: ... */ instance C T2 ...
But properties will be named
C: name in this case. I'd prefer something as
instance C T1: name.