La solution serait plutot d'avoir une distinction syntaxique entre
variables et constructeurs (par exemple, les constructeurs commencent
par une majuscule et les variables par une minuscule).

Ca resout le meme probleme qui apparait dans les match.

Malheureusement, ce qui precede est un sujet de flame-wars permanent
parmi les implementeurs de Caml, donc on s'est impose un moratoire
sur le sujet (moratoire que je viens de violer...)