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

Rust does not need yet another form of ad hoc polymorphism. We have the most systematic mechanism, type classes(i.e. traits). Adding overloading would seriously conflict with type inference and traits, undermine features we value, and risk breaking existing codebases. It is unacceptable. The ongoing experiment is based on traits.