Changed the trace type to a list of pairs. Added a shrinkable schedule datatype and an example of its use (in ServerTest).