"Add the given `Summable` values."
see (`function times`, `function sum`)
shared Value plus<Value>(Value x, Value y)
        given Value satisfies Summable<Value>
        => x+y;