You're proposing extra complexity to get rid of hidden internal mutability, but here it is added right back. Just as we can't enforce how people are going to use `Cell` today, there's no way to enforce conventions for `mutable`.