Linking Fix?

[DavePearce]

(see also #1131)

The problem with linking as it stands is the difficulty of comparing two types in different heaps for equality. One way to resolve this is perhaps to avoid it. Instead of searching for matches, we retain the mapping for what has been imported already and where it is.