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).
I did test locally; once again, serve me right for not rebasing properly.  Fixed.