Eliminate negated equalities.
Cosmetics.
Short-cuts for :>
Eliminate (:==) completely.
Remember to call the finite constructors.
Bugfix: typo
Computing free variables, plus some generic traversals.
Make sure that we generate valid terms, when removing @inf@.
Substition
x / 1 == x
0 `mod` x == 0
Propagate `Fin` constraints across `:||`
Refactor `cryIsEq` to indicate that it should always be eliminated.
Cosmetics.
Cosmetics: re-arrange, add export list,  use `panic`.
Comment
Comments and desugar Width into Lg2