Finished integrating SPJ's feedback.
Spawn representational equalities from nominals less often.

Now, in canEqNC, not addInertCan.
Search through equalities when rewriting
Checkpoint in removing inert_repr_eqs