The example of using packages and existential types is greatly extended.
In particular, a development of process scheduling queues is included,
as a demonstration of good modularity and information hiding in system
design.