An extra random generator for the Order type.
Order
order : Random.Generator Basics.Order
Generate a random order with equal probability.