proposal-random-functions. Proposal to add a Random namespace and several additional convenience functions for using randomness.