SICPのような実装だと意味がある。
環境を辿って束縛している値を探す、正味の実行時間は変わらないけど
評価のたびごとにcondの条件判定をしている部分が省けて、
手続きの適用をするだけになって高速化するわけだから。
（condの条件判定をするよりも手続きの適用の方が速いと仮定して）

型タグの値でcase文を使って分岐してるんなら、高速化の余地は少ないと思う。