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

Also for symbolic continued fractions.