I was speaking generally not specifically about addition. If you create new types and especially new operations on those types, then it will be up to you to add

I was speaking generally not specifically about addition. If you create new types and especially new operations on those types, then it will be up to you to add runtime "type checks" to avoid other failures. Try defining equality for a Point class for an example.