>>23
可変引数はあまり本質的ではないと思いますので
省略でも良いです。

>>26
その場合の出力は
=> `(lambda (x) 'x)
ということで変化なしです。

あと書き忘れましたが、正当なlambda関数かどうかの判定は
リストのcarがシンボルlambdaの場合のみです。
(a b c lambda ...) の様なリストは関数とみなしません。
(lambda <引数リスト> ... )で始まるリストのみとします。

>>27
考えてませんでした。
その例ではたまたま結果は変わりませんが、
=> `((lambda (x) (display x)) '(lambda (x y) (+ x y)))
つまり入力リスト内にquoteがあっても特別な解釈は不要です。
quoteタグリスト内でlambdaが出現したら他と同じ様に解釈してください。
あまり凝った実装しても逆に使いにくくなると思うので。