Add tests to test_wester.py for set theory and continued fractions.

We now support some more of the things in Wester's paper; might as well show we can do them (some of them, anyway).
You should use `FiniteSet(l, k,j)` syntax instead.