Proposal to introduce borrowing switch for noncopyable types (#2325)

* Proposal to introduce borrowing switch for noncopyable types

* Revised design: default to borrowing, and have `let` following the prevailing ownership of the borrow

* Kick off review

---------

Co-authored-by: Ben Cohen <[email protected]>

Author: jckarter