Improve generalization with existentials when the goal is non-dependent
Improve generalization with existentials when the goal is non-dependent

mattam82/Coq-Equations,clarus/Coq-Equations,mattam82/Coq-Equations