Refactor `cryIsEq` to indicate that it should always be eliminated.
Refactor `cryIsEq` to indicate that it should always be eliminated.

ntc2/cryptol,GaloisInc/cryptol,GaloisInc/cryptol,GaloisInc/cryptol