Create Syntax.ml