EqType instance for instructions.
Use EqType for indistinguishability for imems.