fixed TFF translation of arithmetic symbols: do not print explicit type argument
fixed TFF translation of arithmetic symbols: do not print explicit type argument

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