added range and domain using equivalences and subclass relations
added disjoint classes
Add inversesOf
Added tests for range and disjoint bugs