debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet.