Out of interest, how do you reconcile this with the export rule 'feature {ANY}' ? Technically speaking, an object which inserts ANY instead of type-inheriting it shouldn't be able to view these features (perhaps the compiler doesn't let them - I haven't actually tried this).