Declare inG arguments of own_* implicit but not maximally inserted.

This way type class inference is not invokved when used in tactics
like iPvs while not having to write an @.

(Idea suggested by Ralf.)
Status Job ID Name Coverage
  Test
passed #580
coq
buildjob

00:03:56