Add a case for `Not`.  Fixes #249.
Add a case for `Not`.  Fixes #249.

This may happen when we check enumerations, because we emit constraints
such as `x /= y`, which ends up looking like `Not (x == y)`.

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