unfold_named: existentially close over residual logic variables

Fixes #33
Unification failures in unfold_named are tactic failures

They were incorrectly being treated as successes.