debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
the alignment was right before, you should revert this file.