Add some comments in the langage specification