[m-rev.] for review: transform X = f to true or fail if X's binding is known

[Julien Fischer]

On Thu, 18 Sept 2025 at 17:07, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> For review by anyone. I am particularly seeking feedback
> about whether the technique in this diff should be applied
> to the compile-time evaluations of calls to known library
> predicates and functions as well.

Does compile-time evaluation of library calls lead to simple code warnings?
Or do you want to do this because re-running simplify after library
call evaluation
has occurred may allow further simplifications to occur?

The diff itself is fine.

Julien.