warn 331 on useful documentation names in fstar.2024.01.13~dev/ocaml/_build/install/default/bin/fstar

[briangmilnes]

module ExceptionNamesBug

/// It would be nice if it did not warn 331 here as names are documentation. exception One of (name: string)

and turning it down may cause other naming warnings of value to be missed.