set3: STS Unavailable

set3 defines the following Names, but STS signatures are not currently available.

• big_intersect
• big_union
• cartesian_power
• powerset
• k_subsets
• map_with_target
• map_with_condition
• map_with_target_and_condition