a variety of TPTP TFF- and TFA-related fixes