Moved the implementation and even declaration of all reducers out of their header files. Registration of all the reduers now happens in a decentralized fashion in each reducer's .cpp file. Reducer.cpp no longer takes so long to compile.
Light cleanup of the reducer implementatio files.
Converted all non-F4 reducers to new MonoMonoid monomials and documented them.