MonoOrder is improved, now immutable and used by MonoMonoid::readMonoid.