Suggestion for removing UB in the library wording of P2996

[frederick-vs-ja]

"Shall" in the library wording means that the behavior is undefined when such a requirement is not met by default.

Perhaps we just want ill-formedness, and "non-constant library call" ([defns.nonconst.libcall]) looks appropriate to me since these functions are all consteval.