Added and documented syntax.mli