syntax proposal notes updated