When exporting from one compiler and importing into another, the initial
types may not fully match (e.g. if one compiler uses liboo). In this case,
there are two things to do: (1) Do not freak about about the divergence,
(2) stop deduplicating types.