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.