Bring Export Imp path up to date with canonical representations.

[dougalm]

This turned out to be easier than expected! Happily, our canonical representation turned out to be identical to Adam's "flat" calling convention in case of the types handled by the Python interop.