debugger/stepper

[jsiek]

want to make it easier to debug Deduce programs

[Temperz87]

One hack to do this (as mentioned in the meeting) is to throw an exception when we want to "halt" and throwing if given a flag