Automatically shift components after restructuring

[Martin von Gagern]

When applying the ε-δ-rule, it would be nice if the connected components would automatically be shifted around in order to avoid overlap. Not sure what's the best way to do this, but this is a major problem for repeated application of said rule: one always has to makre room first.