Do not report builtin sorts in TPTP models.

[MichaelRawson]

Refer to GEG001+1. When producing a finite model, we report

tff(declare_$i,type,$i:$tType).

which we should not, as TPTP already knows what $i is.