Added random set generator
Added Set operations
Added tests for set operations
Refactored tests on sets
Implemented transitive closure function
Separate relations from sets
Fixed trClos for computing R+
Test
Merge branch 'martijn'