I believe that the `Freeze` bound was mostly for non-recursive locks, but we've basically stopped doing that now, and this explicitly wanted them to be `Freeze` so they could go in arcs.

The name `Share` is much more appropriate, and the usage mostly reflects what things will look like for the `Freeze` => `Share` transition.