run tests uses global options (stats, profiling, etc.)
use Map rather than Phashtable in substs
update of .ocamlinit, to include logtk_arbitrary
types now have a record with unique ID and groundness flag (hashconsing)