Bug in Extrapolation.
Drastically simplify rendering; fix rendering bug.
Remove dependence on Data.Data.
Updated README; other tweaks.
Use GHC.Generics to implement the SubTypes class generically.
Get the examples to compile.
Refactoring, modifying prettying-printing of extrapolated data.
Refactor to the read-eval-print in the SmartCheck module.
Implemented recursive generalization. Isn't so effective, as QC keeps…
… generating new concrete terms for ungeneralized terms.
Remove unused stuff.
Use Property rather than Bool.
Trying to generalize from (a -> Bool) to QuickCheck.Property.