Adds test for cancelling connect action
Adds 'resolve' action
Switched from '>>' to '>' for the sequence operator

Because '>' and '>=' have the same precedence.
The '>=' and '>' operators are no longer global templates

But every one of the task monads inherits from another
'monad' template which injects those operators in it.