[m-rev.] for post-commit review: carve five new modules out of goal_util.m

[Julien Fischer]

On Thu, 22 May 2025 at 22:54, Zoltan Somogyi <zoltan.somogyi at runbox.com> wrote:
>
> Carve five new modules out of goal_util.m.
...

> compiler/notes/compiler_design.html:
>     Include and document the new modules.

That's fine.

Julien.