debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
this class should also be unnecessary.