Updated union and intersection functions to support binary relations, added compose/inverse functions for relations, and functions to test for reflexivity, symmetry, transitivity and equality, and a built in set for the natural numbers.