SE-0432: Borrowing and consuming pattern matching for noncopyable types

[ben-cohen (BenC)]

Review Conclusion

The proposal has been accepted with modifications.