[m-rev.] for review: stricter checks on mode and det declarations

[Julien Fischer]

On Tue, 12 Jan 2016, Zoltan Somogyi wrote:

> For review by Julien, since he proposed these changes.
>
> The diff requires a workaround for the declaration of "is"
> in library/int.m. I propose that we mark "is" as obsolete;
> it has LONG outlived its usefulness.

Agreed.  I think you could probably get away with simply deleting
it now.

The diff looks fine.

Julien.