579質問者です。
いろいろご意見をありがとうございます。
Schemeの話ですので、どうしても実装絡みの
話になるとは思いますが、実装から離れて、
「理想的なSchemeマシン」なら、579の二例に
対して論理的にどのような挙動をとるべき
なのでしょうか？
もし明確な規定がないのなら、どのように
振る舞うのがより好ましいのでしょう？