Widen, boxing, varargs

widen and then boxing not allowed. But widen and then var-args allowed. This will
be the last priority match. Boxing and then widen will win over widen and then var-args.