Add specs for invalid arity-overloaded fns
Tweak the checks for valid overloads.