Minor code improvements when determining structural equality of two terms.
Refactored Kiama-based swap implementation into a separate method.
Fixed Fresh-ML representation if the used object language.
Refactored swapping tests.
Added simple benchmark to measure the performance of the swap implementation.