Update syntax.tex

Adding language description for proposal