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).