Use std::*distribution in Prandom; Rename choice()