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).
spaces around =.

but better if you can use "import as"