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

[Zoltan Somogyi]

On Tue, 12 Jan 2016 21:03:17 +1100 (AEDT), Julien Fischer <jfischer at opturion.com> wrote: 
> Agreed.  I think you could probably get away with simply deleting
> it now.

For now, I just marked it obsolete. After the release, we can delete it.
 
> The diff looks fine.

Thanks for the review.

Zoltan.