Up to GNU SETL doc top
*** To be written.
Meanwhile, the GNU SETL sources themselves, and the comments they contain, are the implementation guide.