Brain dump on type merging

+1 – for opaque pointers. One improvement from my point of view: the runtime of passes performing heavy type transformations will probably go down by avoiding lookups in the TypeRemapper’s type map for each instruction.