マクロは IEEE にはなくて R4RS でも付録で示唆してるだけ。
末尾再帰最適化や継続が不完全な実装も多 (特に C や Java とのやり取りが主のもの)。
だから、静的スコープで単一名前空間なら Scheme、でいいんじゃない？