Documentation improvements and slight clean-up on F4 code.
Made the list of reducer types in the help message ordered by id.
Clean-up on F4MatrixBuilder2, FixedSizeMonomialMap and MonomialMap, migrating them to use a monoid.
Migrated F4MatrixBuilder, QuadMatrix and a few related classes to use MonoMonoid.