Is the ftype of + (function (&rest number) number) or (function (&rest list) number) ? I would assume the former (since &rest args are always of type list), but there aren't any examples in CLtL that make this clear.