Turn local instances ne_proper and ne_proper_2 into lemmas

Merged Paolo G. Giarrusso requested to merge Blaisorblade/iris:lemma-not-instance into master

Merge request reports