Remove unneeded constraints from ThereExistsIntroductionFromObject.
Remove unneeded constraints from ThereExistsIntroductionFromObject.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert