Changes

Summary

1. NEWS;
2. added Set.size; tuned Set.merge: keep larger set stable;
3. performanc tuning: avoid exception overhead, potentially relevant for Sorts.class_less;
4. performance tuning: prefer functor Set() over Table();
5. efficient representation of sets: more compact than Table.set;
6. tuned whitespace;
7. tuned comments;