For a long time TcSimplify used a three-way classification of constraints,
into Free
Irred
ReduceMe
(see the data type WhatToDo). In the new world of implication constraints,
the Free case does not make so much sense, and I managed to elminate it
altogether, thus simplifying the story somewhat. Now WhatToDo has constructors
Stop
ReduceMe
There should be no change in behaviour.