[m-rev.] for post-commit review: move domain_error to exception.m

[Julien Fischer]

On Fri, 1 May 2020, Zoltan Somogyi wrote:

> The move has been agreed and the diff is trivial;
> the only part worth reviewing is the NEWS entry.

That's fine.

Julien.