Updated optimization pragmas in module Stream.Random.
Updated optimization pragmas in module Arrival.
A small refactoring of module Stream.