[server] Define UserIdType for a user ID.