adapting predicate_compile_quickcheck; tuned

adapting mutabelle

adapting SML_Quickcheck

passing a term with free variables to the quickcheck tester functions instead of an lambda expression because this is more natural with passing further evaluation terms; added output of evaluation terms; added evaluation of terms in the exhaustive testing

extending the test data generators to take the evaluation terms as arguments

adding option of evaluating terms after invocation in quickcheck