Doesn't java support privileged operator overloading for `+`? (privileged in that it's only supported for types baked into the runtime itself, much like generics in Go)