Set library (sets.v) built on generic trees (tctree.v).
So far only instantiated from gaptreeb.v.