a bit on clean-up in Input; corrected references to new TPTP AST type
a bit on clean-up in Input; corrected references to new TPTP AST type

lex-lex/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,lex-lex/Leo-III,leoprover/Leo-III,leoprover/Leo-III