Unless you are willing to do highly sophisticated static analysis, you will have to implement a new eval to do that. For a tutorial and some example code on how to do that, check out http://matt.might.net/articles/metacircular-evaluation-and-first-class-run-t...
That could be complemented by hooking the eval function to the ##expand-source REPL hook, which should basically be a function that takes an expression and returns another (processed) one. That would make it possible to use the language with arc style macros from the REPL.
Black hole uses these hooks, see for instance https://github.com/pereckerdal/blackhole/blob/master/build.scm for one example of usage. (In essence, it set!s the hook and its compilation counterpart c#expand-source to black hole's own macro expansion function, taking care of the fact that they sometimes get gambit's internal source code location annotation objects as input)