SE-0202 Amendment Proposal: Rename Random to DefaultRandomNumberGenerator

[Jens]

I think the naming-issue is just a symptom of the lack of clear vision for the structure of the Random API, and perhaps some misunderstandings about RNG vs PRNG.

@Alejandro

Now, I will agree that Random on its own is ambiguous, but I did this for a reason. In the future if Swift is to ever add a deterministic RNG in the stdlib, it could be shipped under something like Random.xorshift128Plus as a globally initialized instance of Random.Xorshift128Plus /.../

I know that this is written by the author of SE-0202, but in my opinion, the intention expressed in the above quote is confusing and unwise for two reasons:

1. Is Random meant to be "The default source of random data." as stated in the current documentation of Random, or is it meant to be a "namespace" for various Random API related things such as generators, as the above quote seems to suggest?

2. See my above post about why having a "globally initialized instance" of a PRNG (which are, by definition, seedable and deterministic) is the same as promoting a mindless use of shared mutable state, and the problems that go with it, instead of signaling that you'd probably want to care very much about how and why you create and use these shared mutable states, ie PRNG instances.