An operation split into the maximal EXTEND chain at its top and what is left below it.
The binds of the chain, in evaluation order: binds[0] is the innermost, closest to core.
binds[0]
The first operation that is not an EXTEND: everything the chain stands on.
An operation split into the maximal EXTEND chain at its top and what is left below it.