Implement swap

- ALT now supports unbalanced swaps.
- Test suite was finally adjusted to expect slot source/target
  annotations.