some profiling in types and type inference;
tools are compiled in native binaries, and check_tptp provides more options