First version up until MyExpr
Wrapped the quickcheck generator to a standalone program.
Note about quickcheck testers.