Ordered_monoid loading ...