[m-rev.] for review: start using type_spec_constrained_preds pragmas

[Zoltan Somogyi]

On 2024-02-10 16:06 +11:00 AEDT, "Julien Fischer" <jfischer at opturion.com> wrote:
> Were you going to commit this one, or are you going to wait until
> the benchmarks are done?

I didn't want to make it harder for you to get a workspace *without*
this commit, so I waited. If that is no longer an issue, I would like to
commit it.

Zoltan.