[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.