add test for integer-set:

- check that taking the rest of an integer-set results in a proper integer-set
one more integer-set test