Tail-call optimization is very important when writing Scheme programs. By removing those, you loose the power of recursion. Also when it comes to macros, does

Tail-call optimization is very important when writing Scheme programs. By removing those, you loose the power of recursion. Also when it comes to macros, does that include `syntax-rules` or `syntax-case` style macros, where the latter are much more powerful? While an embedded Scheme-like language is incredibly useful, at some point I feel as if you would simply have to include these features, and to that end it would just be Scheme reinvented.