Changes

Summary

1. merged
2. misc tuning: follow Table() more closely;
3. tuned signature;
4. tuned;
5. performance tuning: replace Ord_List by Table();
6. performance tuning: replace Ord_List by Set();
7. tuned;
8. more operations;
9. tuned;
10. performance tuning: replace Table() by Set();
11. minor performance tuning: more compact persistent data;
12. performance tuning: replace Table() by Set();
13. tuned;
14. more operations;
15. unused (see 34dd96a06c45);
16. more compact data: approx. 75% .. 85% of AList size;
17. tuned;