Move the bulk of the QuickCheck/TypeCheck Haskell into files in the data directory
Add an example to the TypeCheck boilerplate so it can be tested standalone
Rejig the QuickCheck module
Add an example to the QuickCheck module
Redo the QuickCheck stuff, slightly different interface
Change how the QuickCheck hints are shown
Remove a rule suggesting tanh, since it was wrong
Use a more relaxed Eq Double type, add ?==> as a predicate
Add support for all the remaining failing QuickCheck tests
Support isCompare in the matching algorithm
Rename notTypeSafe annotation to noTypeCheck
Add noQuickCheck annotations in a few places
Add noQuickCheck hints everywhere
Make it a test failure if QuickCheck spots an invalid hint