making use of Constant[T]
None[T]
Less[T]
Greater[T]
Less[T].__getitem__ and Greater[T].__getitem__ create Condition[T]
NotNone[T]