Refactored setoid rewriting and quantifier pulling to work with the
modular funcs.
Merge branch 'master' of ssh://git@github.com/jesper-bengtson/MirrorCharge.git