Removed old symbolset stuff.