fix a bug in TestSAT
make BoolExpr an instance of Variables type class
add 'simplify' to ToySolver.Data.BoolExpr
change ToySolver.Cooper to use ToySolver.Data.BoolExpr