そもそもschemeはS式の基本データ構造としてのリストも否定材料にしてると思うよ
健全マクロはリスト操作を避ける仕組みそのものだし
S式を捨てたいって思想が透けて見えるよ