debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
note here what happens as a result of your design decision. By not adding the substitution to Transition, you end up having to propagate the change forward instead of localizing it. This field is unnecessay; if you added the substitution to transition, you would get it for free from KRunGraph.