In case anybody is interested in this topic, I have found (in Debian) a way to make things work, in my eyes, quite elegantly. Since accounts are internally referenced by UIDs, the names are in a sense mere aliases. Just as root always has UID 0, mail generally has UID 8 (the actual UID we don't need to know). We can change the name of the user account with UID 8 thus:
usermod -l smail mail
All in all, something like this works:
usermod -l smail mail
groupmod -n smail mail
groupadd mail
useradd -m -s /bin/bash -g mail -c 'Your Name' mail
(Again in Debian, /etc/default/useradd ought to have the line # CREATE_MAIL_SPOOL=yes uncommented.)
If I find some crazy unexpected behavior as a result I will update this old post. Cheers!
Side note: In general it is not necessary to do groupadd user manually in order to useradd user: you simply omit the -g option. However, this gives an error. Indeed, there is something special about the name/alias mail, so... be careful if you feel like trying this!