Instance are far from being simple proxies. While instances can act as proxies for other instances, the aim is to have each instances to have their own communities and be somewhat self sufficient. If you remove the federation, Lemmy (and other fediverse software) still work, it’s just that it is more difficult in that case to reach a critical mass of users.
I agree with you on proxy.
For hub I am not sure, that sounds a bit more mainstream to me, with the caveat that English is not my mother tongue. That gives a nice image that an instance is basically an access hub to a whole universe of data.