Types of primitives don't count as repeated subterms for printing.
Types of primitives don't count as repeated subterms for printing.

Fixes #1175.

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script