Replace a few usages of symbol_set::positions with const counterparts - there is no reason these objects should be mutable.