Sort of working port of framework. Transaction bug seems to be getting in the way. Going to work around, but want the old version in the repo so I can test later.

B = R(A, L(B, R(C,D)))
C = R(B, R(C, D))
X = L(X, L(A, L(B, R(C,D))))
A = L(X, L(A, L(B, R(C,D))))
E = L(E, L(C, D))
D = R(E, L(C, D))