Added support in MonoMonoid for comparing components before, after or in-between gradings, rather than only at the end.
Added some small test examples.
Allowed component/revcomponent distinction to be passed on to the monoid in tests. Used this to get rid of OrderE entirely from FreeModuleOrder.
Added support for specifying (rev)component for after base ordering. Used this to move all component/revcomponent distinction out of the order number.