a variety of improvements to TPTP TFF parsing; only outstanding issue is $let_??, for which I've written to geoff sutcliffe