Order type one plus lambda

One plus lambda is the order type of sets arranged similarly to lambda, but with a single least element (the one added to the start).