fix typing in TPTP parser
a variety of TPTP TFF- and TFA-related fixes