Changes

Summary

1. merged
2. merged
3. clarified main operations; clarified main loop;
4. clarified signature: prefer stateful object-oriented style, to make it fit better into physical world;
5. prefer global mutable state, in order to break up the loop eventually;
6. clarified modules;
7. clarified signature;
8. clarified static build_context vs. dynamic queue;
9. clarified signature: make dynamic Queue from static Context;
10. clarified data structure: absorb Option[Process_Result] into Process_Result, e.g. to simplify database storage;
11. tuned;
12. tuned;
13. clarified data structure: use static info from deps, not dynamic results; tuned;
14. clarified data structure: more direct access to timeout;
15. tuned;
16. misc tuning and clarification;
17. clarified modules; clarified signature;
18. tuned message: old_time not sufficiently prominent nor accurate to be printed;
19. clarified signature and terminology;
20. clarified signature: avoid adhoc constants;
21. tuned;
22. tuned message;
23. tuned signature: more operations;
24. clarified signature: more explicit types;
25. clarified modules;
26. clarified signature;
27. clarified signature;
28. merged
29. Simplification of proofs
30. explicit range types in abstractions
31. somehow more clear terminology
32. tuned