Delete syntax.ml