use type declarations in cnf_of_tptp
type currying/uncurrying doesn t make sense with the current invariants;
TypeInference.Closure is now a monad;
function Monad.Traverse.seq, very handy