clarified signature: make dynamic Queue from static Context;

clarified data structure: absorb Option[Process_Result] into Process_Result, e.g. to simplify database storage;

tuned;

tuned;

clarified data structure: use static info from deps, not dynamic results; tuned;

clarified data structure: more direct access to timeout;

tuned;

misc tuning and clarification;

clarified modules; clarified signature;

tuned message: old_time not sufficiently prominent nor accurate to be printed;

clarified signature and terminology;

clarified signature: avoid adhoc constants;

tuned;

tuned message;

tuned signature: more operations;