ConstrainedType: shouldReturnValueOfUnderlyingTypeWhenAddingTwoValuesOfConstrainedTypes and shouldSupportPromotionToUnderlyingTypeWhenDividingValueOfUnderlyingTypeOnTheLeft