more stuff for TPTP: a bunch of utils for easy (recursive) parsing
and dealing with includes, and a .mli for the AST