symbol_set: add a ctor from range.