Non-negative integer factories
Added Ordered interface. Arrays are considered Sorted.