[m-rev.] for review: decl and impl markers

[Julien Fischer]

On Sun, 6 Aug 2023, Zoltan Somogyi wrote:

> Separate marker pragmas from other decl/impl pragmas.
> 
> compiler/prog_item.m:
>     Previously, both decl and impl pragmas contained some pragma kinds
>     that contained only the specification of a predicate or function.
>     These served only to specify a marker to be applied to the named
>     predicate or function.

...

That's fine.

Julien.