Experiment with syntaxes for OCaml extensions