Making it compile with GHC 7.7
Making it Typeclass-less via manual dictionary translation
Removing the temporary TypeHole language extension
Removing the profiling
Minimal Change to remove IO
Leaving out (at least for now) the Monadic and forEvery combinators
Adding usefull record accessors
Replacing Testable typeclass with Property directly
Making saved results typed, free from Show typeclass
Refining the output