list?とpair?が別々に用意されていることがデザイナーの意図を示している
と思うね。
(list? '(a . b)) ⇒ #f
(pair? '(a . b)) ⇒ #t

要するにコンスセルの最後がヌルであればlistであり、さもなくばpairだよな。