add subtraction method on AtLeast2[Set, X] which yields NonEmptySet[X]

add subtraction method on AtLeast2[Set, X] which yields NonEmptySet[X] #100