avoid DUP error in local context

sketched documentation for new (co)datatype package

tuned docs (the function package isn't so new anymore)

tuned comments;

tuned;

type theory is purely value-oriented;

pro-forma Execution.reset, despite lack of final join/commit;

tuned signature; removed notoriously outdated comments;

tuned;

de-assign execs that were not registered as running yet -- observe change of perspective more thoroughly;

merged

tuned intro

silenced subsumption warnings for default code equations entirely

merged

NEWS; tuned description;

tuned proofs;

updated key bindings to execution range;

traverse node on change of "required" state;

keep memo_exec execution running, which is important to cancel goal forks eventually; run as nested worker task to keep main group valid, even after cancelation of removed subgroups; do not memoize interrupt, but absorb it silently in main execution; Goal.purge_futures: rough sanity check of group status;

maintain explicit execution frontier: avoid conflict with former task via static dependency; start execution immediate after assignment, to keep frontier simple;

afford higher execution priority by default: defer proofs and thus stretch parallelism over whole document;

clarified conditions for node traversal;

tuned;

pro-forma Goal.reset_futures, despite lack of final join/commit;

tuned;

tuned;

back to model.update_perspective with delay (cf. a20631db9c8a);

show displaced messages (e.g. from protocol thread) as raw output;

actually purge removed goal futures -- avoid memory leak;

tuned -- less redundant data structure;