added support for set- union and difference of relations and for the reflexive transitive closure