Minor comment.
#KJ-KJ-38 Elaborate constructor signatures. Introduced a new configuration cell - <classContextType> - to distinguish between static and instance classes. with this elaboration of qualifiers for 'NewInstance should be correct. Before htat we created 'QThis qualifiers more often than needed - whenever such a construct would be valid. Now we convert 'NewInstance into 'QNewInstance('QThis,...) only when the instantiated class is an instance inenr class.