Update syntax-proposal.md