Interface fixes

- union/intersection/concatenation/difference now check symbol tables
  (fixes #7 ... kind of! More flexible interface to be added later)
- unicode symbols in SymbolTable.items() - fixes #8