Update syntax.ml

Final (Hopefully) bugfree (>.<) version.