Recompile the interpreter in debug mode, change the environment variable #:Exp:interpreter:debug to t, and trace the evaluation of an Exp program with the Typol debugger. The Typol user's manual gives a detailed example of how the debugger works.