Remove explanation and convert to new dolmen

src/bin/dune

src/bin/options.ml

src/bin/typecheck.ml

src/bin/witan.ml

src/core/egraph.ml

src/core/egraph.mli

src/core/interp.ml

src/core/interp.mli

src/core/structures/domKind.ml

src/core/structures/domKind.mli

src/core/structures/expr.ml

src/core/structures/nodes.ml

src/core/structures/nodes.mli

src/core/synTerm.ml

src/core/synTerm.mli

src/core/trail.ml

src/core/witan_core.ml

src/popop_lib/dune

src/popop_lib/popop_stdlib.ml

src/popop_lib/popop_stdlib.mli