More attempts at the quantifier pulling. Nothing concrete yet.
Added a few more lemmas, and hopefully got past the hurdle that has been
bugging me for the last month. The liftings have changed.
Merge branch 'master' of git@github.com:jesper-bengtson/MirrorCharge.git

Conflicts:
	MirrorCharge!/CoqoonMakefile
	MirrorCharge!/src/ILPullQuant.v

Resolved the conflicts. There are now two versions of pulling
quantifiers.