add explicit/observable sharing of terms/types to .hi (interface file) representations?

Motivation

currently none of the implicit sharing that GHC's data structures enjoy in memory is preserved when written out to

Proposal

serialize to .hi files with some observable sharing machinery, deserialize in a way that takes advantage of having (also) added enough info to recover sharing

benchmark the impact!