Updated SAT solver, have a reasonably fast version now.
some cleanups
SelfReduction.hs
cleanup attempt failed, haha. Take 2!
Isolated out the matching permutation code for the sake of presentation.