updated tools for typechecking and CNF;
util_tptp now contains a CNF function