ConstrainedType: shouldSupportPreIncrementation
ConstrainedType, shouldReturnTheSameObjectInCaseOfPreincrementation
ConstrainedType, shouldSupportPostincrementation
BoundedInt, shouldValueReturnedAfterPostIncrementationBeOfConstrainedType