Fixed swapping of atoms.

The method now uses the correct traversal strategy, i.e., a strategy
which traverses every child of the given expression.
Added tests for swapping atoms in expressions.
Added tests for the 'freshfor' relation.