It would be nice if the prelude used the new constraint API.
I am currently cleaning up the configuration docs, and not being able to reference the new syntax is unfortunate.
Would you be open to a PR to change that? I assume that this might have some non-trivial impact on fbcode.