[Pitch] `With` functions in the standard library

This feels related to Lenses. There’s an interesting YouTube video on the topic, and it’s been discussed on the forum before.

In the video. Brandon Williams develops a technique for creating variants of immutable data with concise syntax. It's very old, and can probably be made nicer with key paths