Convert more binary functions to sqlfunc macro

[antiguru]

As it says on the box, convert more binary functions to the sqlfunc macro. As before, this doesn't yet use any of the new code, but it's there once we can switch over to the new implementation.

Add a output_type_expr parameter to the proc macro that allows the caller to specify an expression over the input types to compute the output type. We need this because the output type for some functions cannot be described as a type, for example for jsonb.

As before, there are tests validating meta information.

Checklist

• This PR has adequate test coverage / QA involvement has been duly considered. (trigger-ci for additional test/nightly runs)
• This PR has an associated up-to-date design doc, is a design doc (template), or is sufficiently small to not require a design.
• If this PR evolves an existing $T ⇔ Proto$T mapping (possibly in a backwards-incompatible way), then it is tagged with a T-proto label.
• If this PR will require changes to cloud orchestration or tests, there is a companion cloud PR to account for those changes that is tagged with the release-blocker label (example).
• If this PR includes major user-facing behavior changes, I have pinged the relevant PM to schedule a changelog post.