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).
Indeed, the list syntax is causing Travis fails.  Serve me right for branching from an out-of-date trunk.