[flat.map.defn, flat.set.defn] Avoid naming the from_range_t tag

[flat.map.defn, flat.set.defn] Avoid naming the from_range_t tag #8187