Add a tactic to structurally unify lists