Simplify overload dispatch when function arity is the only difference

[praeclarum]

If two overloads differ only in their arity (number of args), then we can skip the type checks.