Message 399830 - Python tracker

Specializing BINARY_ADD is worthwhile for two reasons:

Specializing for ints, floats and strings may give us some small speedup.

It removes the complex checks for the special case of extending a string, `s = s + ...` from the normal instruction to a specialized form.