Fix conjugate serialization.
Recursive inverses. Inverse of [F: [U, R]] is now computed as [F: [R, U]].