Currently, if you have two theories with arrows in both directions between them (e.g. two views in the case of an isomorphism) the arrows overlap like this:

The best you can achieve by dragging is something like this:

In such a situation the arrows should bend much more and also when the nodes are horizontally/vertically aligned.