More Property Testing

Figured out how to add member-based testing for union and inter, by adding an element to test. Now trying to figure out how to test the boolean functions and cardinality.