Class AxiomTypeDefinitionImpl