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
.