Would it be possible, in the interpreter to have an APPLYHOOK to complement the EVALHOOK? That is, whenever the interpreter is about to apply a function to a list of arguments, the user gets a chance to substitute his own function to do this. This is useful for debuggers and other sorts of non-standard evaluation.