Pre-RFC: Explicit overload sets for mixed-arity function calls

Adding the types makes the name really ugly and long, and not adding them means the bindings cannot be autogenerated.