Use total rank of arg types to determine how many overloads to evaluate. Restrict types of arguments using the call args.