Avoid printing superfluous types.

[phlegmaticprogrammer]

When printing terms, it would be nice if types would only be output if they wouldn't be inferred automatically that way.