Every user has a dedicated machine, but is not exposed to the outside world. The 'gateway' is the only system that is exposed.
The user has no idea of this setup. He just does
ssh username@gateway
which should be equivalent to ssh username@username.internal
.
Can we configure a gateway sshd with which we can achieve this? Each machine has a single user. So, there can't be any confusion in determining the upstream server.