Refactorings of operations code

- More on cancellation semantics
README and better naming for SA default queue