Na maioria das linguagens qualquer diferença entre símbolos capitalizados ou não é puramente convencional. Mas nada impede - e eu sou da opinião que seria um grande avanço - que o compilador "force" essa convenção (como sugerido na resposta do Victor Stafusa). Isso não só cria consistência como pode aumentar a expressividade, como acontece por exemplo na linguagem Prolog.
Prolog (e outras linguagens inspiradas nesta, como Erlang) faz distinção entre maiúsculas e minúsculas e - no caso específico da primeira letra do nome - dá um tratamento semântico diferenciado para o mesmo: foo é um "átomo" (constante) e Foo é uma variável. Isso parece um detalhe bobo, mas na minha experiência com essa linguagem o ganho em expressividade é enorme.
A título de exemplo, algumas linguagens modernas possuem uma característica chamada destructuring assignment/bind, como por exemplo Python: