[server] Define ServerIdType to improve tolerability of its change.