> I mean yes, but the hidden cost is moving outside of your support network. Downsizing is often very lucrative.

If we had a sensible housing policy, it would be possible to downsize within your local community. Towns and villages would be made up of a good mix of different types of housing, for different parts of life. Then people could move into appropriately sized houses without having to leave their support networks.