Handling carryovers

I'm not merging this one because I definitely want @puls to review it.
I'm just a little hesitant because this enables cycles in the object graph we're modeling.