Add lemma lookup_gmap_uncurry_empty

See merge request robbertkrebbers/coq-stdpp!8

This fixes the issue of Hai in !6.

This allows for more control over `Hint Mode`.

This way, type class search will fail immediately on first type
class constraint of any of the `fin_map_dom` lemmas if no `Dom`
can be found.