Added module Parameter.Random.
Added module DoubleLinkedList.
Refactoring: ProtoVector -> Vector.