Abstraction of types which support a binary addition
operator x + y. For numeric types, this
is just familiar numeric addition. For String, it
is string concatenation.
x + y
In general, the addition operation should be a
binary associative operation.
The result of adding the given value to this value.
This operation should never perform any kind of
mutation upon either the receiving value or the