OCaml support: semantic rules.

Semantic rules rely on an abstract AST interface.