начало..конец в синтаксическом сахаре OCaml?

Глядя на неофициальную грамматику OCaml в этом сайте , единственная продукция, где beginпоявляется, это :

Expression ::= begin Expression end

, а чуть ниже можно увидеть:

Expression ::= (   Expression  [:Type]   )

Это, вместе с некоторыми небрежными заменами begin/ endс (/ )в каком-то тривиальном коде, (который не влиял на правильность), может показаться, что ключевые словаbeginendявляются просто синтаксическим сахаром. Или я что-то упускаю?