finished swapUp0, added tests for the main lemma it's a part of
Merge branch 'master' of github.com:zsparks/pi-dual