Merge pull request #12236 from ncik-roberts/syntactic-function-arity Syntactic function arity

*Variants labelled (experimental) are still undergoing testing; if they have failed it may be a bug in OCaml-CI.