Add missing infer update when unifying hole results.

While adding a hole wrap for "fix (\f -> <f _>)", it appears as green before selecting it (it then becomes red).