SARA: Add `interchangeChannels` combinator, include randomness.
SARA: The module `SARA.Compose` now typechecks, thanks to many stub functions.