FWIW, I think partial consumption is a really valuable feature and something a lot of people would stumble into a need for whether they understand the theory or not (I pointed out an example in @Ben_Cohen's other thread).
I just don't have the knowledge or familiarity with non-copyable types [yet] to offer an informed review of the proposal.
But big for the feature in principle.