Do not print synonyms in :i (->), :i Type (#18594)

This adds a new printing flag sdocTypeAbbreviations that is used specifically to avoid ghci printing 'type (->) = (->)' and 'type Type = Type'.

Fixes #18594 (closed).