Fix PowerSetAsAbstraction (defthm for power).
Fix PowerSetForAll.
Fix SeparationThereExistsObject.
Fix SeparationThereExistsSubst and SeparationObject.