free idempotent monoid