Link [[CancelSteps]] and [[PullSteps]]

[annevk]

I couldn't quite figure out how to do this. Would I give them aoid attributes or would that go wrong?

[domenic]

These are a bit special because they are "polymorphic". There is no point at which they are defined, at the moment; or rather, there are two "definitions", one for each usage site. So existing infrastructure won't work great.

We can and probably should add a central definition, e.g. It is expected that <dfn>[[CancelSteps]]</dfn>() internal method exists with the following behavior....

I'll work on this.