SE-0429: Partial consumption of noncopyable values

Hey folks. I noticed it's kinda tumbleweeds in here. :slight_smile: Which is not all that surprising. This feature is hard to grok unless you try it.

To help with that, I wrote up a walkthrough here. Trying to write the code in that post with this feature enabled and disabled helped me internalize what it means to partially consume a value.