Unboxed equality EvBinds should desugar to unboxed equalities.
Handle covars in simplAlt
Don't cast in GADT equalities; they can be hetero.
In the solver, make new equalities of the same boxity as old eqs.
Checkpoint in tracking down existential challenges.