Fix the swap rule in the cut elimination
Add the swap rule to the figure of structural equivalences