ac.scm is the scheme code that compiles arc into scheme. This would be an appropriate place to plug in a debugger, by adding hooks in, for example, ar-funcall0 and ar-apply. Otherwise, there are debuggers for scheme, but using one of those wouldn't be as much fun as writing one ...
you might find inspiration in the debuggers that come with rainbow or jarc.
