[rixed]

The PPX macro system is far from perfect, that's the whole point of this idea: with the native REPL + an s-expression syntax, you have lisp-like macros for free.

[classified]

S-expressions are more than mere syntax. Lists in OCaml can only have a single element type, so you would need something different for s-expressions.