Move debugging support out of Statistic.h into Debug.h, implement the new DEBUG_TYPE...