Bump version.
update TODO
First bash at very hacky Blanchette variables.
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.
schroedinbug
Add shutUp flag to generate.
Hide implicit variables when printing.
update copyright
done todo
Add Show instances to Prelude.
Make it work with latest QuickCheck.
Fix for latest QuickCheck
variant isn't broken any more!
Don't bother using promote any more.
Add fun5/blind5.
Add mapConsts.
Disambiguate variable names by adding letters instead of numbers