Pelas informações que a pergunta mostra já ter a resposta não pode fugir da obviedade.
Além da melhor documentação como já mencionada, e isto não pode ser minimizado, se ganha segurança de tipos. Desta forma o código obriga que o argumento na chamada seja do tipo especificado. Isto já está explicado nas perguntas linkadas.
O fato de não permitir outros tipos prejudica que toda a aplicação tenha esta segurança, mas alguma segurança é melhor que nenhuma. E como provavelmente no futuro existirá para todos os tipos (já existe agora), já está com meio caminho andado na aplicação atual.
Em sistemas maiores fica muito mais robusto fazer isto. É uma pena que por enquanto não dê para obrigar usar isto em todos os lugares ou dizer que quer que o tipo seja dinâmico mesmo. Em sistemas pequenos, ou seja, scripts, não é importante, mas em grandes é difícil manter tudo funcionando corretamente sem oferecer garantias. Este meio é mais fácil e mais eficaz que fazer o tratamento no corpo da função ou escrever testes para verificar se os tipos foram usados corretamente. Se ganha produtividade e robustez, ainda que limitada até poder usar todos os tipos.
Coloquei no GitHub para referência futura.