OCaml is a better candidate than most. It already has a macro system (PPX), and the core language has a lot in common with Scheme.