Ranges on signed bit vectors

This is an internal library implementing an alternative, signed notion of ranges on bit vectors. It is only used internally for the construction of ranges on signed number types (see Init.Data.Range.Polymorphic.SInt).