Using standard iterators instead of uint
Moving lit removal by stamping to clause.h
Forgot to add xorfinderabst.h