Congruence module, handles the congruence
property of (ground) equality, and also some total ordering
relation between terms
moved MultiMap to lib/ (and Logtk) rather than only Logtk_meta