New SymbolTable interface now merged into master, #24