add operator!= for type_index