Having a number of hosts following the same naming scheme is good, defining them is repetitive and boring. Maybe we could patch SSH to achieve something like this. Take a look at an example for ssh-config:

Host myhost%02d     User lars     Hostname myhost$1.example.com 

ssh myhost02 would be expanded and as a result would resolve to myhost02.example.com.