Efficiency improvement to Scm_util.ExtendSet.set_closure (improves from quadratic to linear, in the case where the function introduces new elements one at a time).