Remove Blanchette variables - this hacky version doesn't work!
Substitute all possible values, not just representatives.

Without this, equations such as 'x==y' would only generate trivial
substitutions.
Note about substitutions.
Always print out absurd equations.