LAScheme is an aspect-oriented extension of Scheme. It is basically a slight redesign of AspectScheme (by Chris Dutchyn), with execution levels built-in.

It is implemented for Racket.

You can download LAScheme. It comes with simple examples/test cases.

There is also a version of LAScheme with level-aware exception handling, which avoids the exception conflation problem.