generators.clj: (traversal) takes predicate to determine when to skip branches.
dsets.clj: results are no longer made canonical.
selfdual2d.clj: first attempt at pruning the D-set generation tree.