for キーワードで　run を指定して import した手続きが
マクロの trasformer で使えちゃうのは仕様？
指定しなかった場合に自動的に決定してくれる (implicit phasing) のならともかく、
指定を無視しちゃうのは微妙だと思う。
他の R6RS 処理系でもそうなってるのが多いみたいなので何か理由があるのかねぇ。