I think we should use the prefix `-o-` to indicate that it affects the OCaml-side of generated code (we have `-j-` for JSON options), giving `-o-allow-name-overlap`.

What about just `-o-name-overlap`?