I agree a.checked_add(b)? is, currently, not common enough to deserve a custom syntax. That's why I only suggested to reserve it for later.
Because if, in the future, we can get ranged types that prevent arithmetic operations that can overflow, at compilation time, ( as suggested here ), it may become really useful.