obj: splay tree of symbols