Prioritize argcount for types over argspec. Move varargs check to main logic tree.