>>481
CPS変換ができません。
一旦labelsが消えるんですか？

>>483
except that [for labels, any inline, notinline, or
ftype declarations that refer to the locally defined
functions do apply to the local function bodies].
と節をつくるのでは？
おそらく、
(labels ((foo (x) ...)
　 (bar (y) (foo y))) ;展開される
　 (declare (inline foo))
　 (foo a) ;展開
　 ...)

(flet ((foo (x) ...)
　 (bar (y) (foo y))) ;展開しない
　 (declare (inline foo))
　 (foo a) ;展開
　 ...)
ってことだと思います。
ローカル関数は書き換えができないみたいだし、どっちも変わんないんですね。

>>484
fooも, sqrt%(%)も自分の引数しか使ってないってことですか？