potential for name clashes between type features in different modules

[fridis]

Type features of anonymous types that correspond to non-contructor features are distinguished by unique ids. These ids are currently unique only within one module, so there could still be clashes between modules.

[michaellilltokiwa]

related #1840