Implemented algo finding gates for graphmap

Everything still untested. Getting rather worried about this.
Finished implementing pulling tight
Generalized untilFixed to untilFixedBy
Wrote algo to find reduction or irred surface