Latest Changes to SetImpl Theory