LAScheme
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.