symbol_set: add a positions_map class for future use in evaluation methods.