SE-0202: Random Unification

Sorry,@bzamayo, this is my bad. I missed your suggestion from my review summary when we discussed it.

I agree with you that a more explicit name would be an improvement. Putting Default in the name also has precedent from DefaultIndices. Can you do me a favor and post this suggestion as a new thread in pitches? We could then consider it as an amendment to the proposal, depending on the feedback there.