Verificacion de que los tipos no se repitan.