Complete move to new symbol table format