The IM monad now holds a DARTState
debugMStep, prependStep, debugM, debugMNT, debugMNL