Added syntax.ml
Syntax related code.