…sed tags of TypeIdent. By the way, this test was useless because if it succeeded, the printer of the toplevel would have printed less precise information.
…ique Extern. In fact, one implied the other, making ton of useless and confusing code. The aim in fine is to remove these tags from TypeIdents.