more priority to Meta-FO in order to favor eta-unexpanded solutions: ?f x =?= c x should be solved as ?f := c instead of ?f := \y. c y