Swap Two Symbols - Thue Typing CST Test