Typage de Eqident et ajout type_of_qident.