Changes

Summary

1. more ambitious timing, to compensate general protocol delays;
2. decorations for dotted underline: less intrusive; tuned;
3. more generic rendering;
4. proper reset of published decorations: initial value is Nil, afterwards it is a list of canonical length and order;
5. always invoke output: pending_output may be present due to other reasons;
6. tuned signature;
7. tuned;
8. simplified;
9. publish output more thoroughly;
10. potentially redundant pending_output, for the sake of uniformity and reactivity;
11. tuned;
12. tuned;
13. more robust treatment of pending input/output: these are often correlated; no decorations for invisible node;
14. merged
15. added numeral_powr_numeral