Uff, du hast recht. Das mit dem Namen ist aber wirklich ziemlich selten. Und bei der Sache mit Super- vs. Subtyp habe ich vorhin tatsächlich überlegt, ob das das richtige Wort war.