Rework the Recmap modules (abstract localizer, a monoid instance)