Properly track component provenance during transformations

[mmarx]

While transforming programs, we're currently not correctly tracking all rewritings (e.g., just keeping a reference to one of the components when merging two). This is a prerequisite to #774.