tweak do_eq_i2

to give a type error if comparing constructors of different types