its to establish a single binary operation that can reproduce the rest of the typical continuous elementary operations via repeated application,

But he didn't show this though. I skimmed the paper many times. He creates multiple branches of these trees in the last page, so it's not truly a single nested operation.