a very naive egraph

src/egraph_simple.ml

src/egraph_simple.mli

src/term.ml

src/term.mli

src/test.ml

src/util/cmdline.ml

src/util/cmdline.mli

src/util/config.ml

src/util/debug.ml

src/util/debug.mli

src/util/exn_printer.ml

src/util/exn_printer.mli

src/util/exthtbl.ml

src/util/exthtbl.mli

src/util/extmap.ml

src/util/extmap.mli

src/util/hashcons.ml

src/util/hashcons.mli

src/util/lists.ml

src/util/lists.mli