exporting the generic version instead of the context version in quickcheck

splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests

adding a mutual recursive example for named alternative rules for the predicate compiler

handling TYPE_MATCH error by raising user error message if user gives introduction rules with mismatching types