ddc-core-flow: Ext binds now only have one result.

in the paper, external binds could have many outputs. this makes sense,
but adds some accidental complexity.
when converting ddc bindings, there's only ever one binding, so we can
kill this and remove a lot of cruft.
ddc-core-flow: minor cleanup of exp reconstruction