Regression warning: use previous commit for good test results. Major overhaul of invariant parameter handling in unification and abduction: initial commit. Eliminate multiple-definitions specific checks: `bparams->bvs`. Eliminate `zparams/zvs`, treat all existential variables as possible parameter candidates.