debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
this is wrong. If a transition needs a substitution, add it to Transition, don't create a wrapper class.