Move debugging code into DEFK where have access to the name of the continuation we're calling (as apposed to KLAMBDA)
Move debugging code into DEFK where have access to the name of the continuation we're calling (as apposed to KLAMBDA)

darcs-hash:20050810121305-dd2a1-52ac8d7c0d6943a9c0544c86eb454b2918baabe4

luismbo/arnesi