. " The kind of nomenclatural note this is, e.g. sanctioning of name. " . . . "Type" . .