Added module Sowide, abbreviation of (So)rted arrays (wi)thout (d)uplicat(e)s. Used as of polymorphic sets, this structure offer an efficient procedure for splitting the array into two parts corresponding to the lower-bounds and the upper-bounds of a pivot value.