debugger substitution feature

Update to the current debugger to show rules applied, and the substitution at every transition. Do not review yet. 
you should get in the habit of making sure that code like this is removed before you request code review.