No longer define Frame instances using Hint Extern.

We now give frame_here priority 0, so it is used immediately when an
evar occurs. This thus avoids loops in the presence of evars.
1 job for master
Status Job ID Name Coverage
  Test
passed #381
coq
buildjob

00:03:28