Fix main.ml

name -> Syntax.name