Add Debug.DEBUG as an explicit module type

The type is unchanged - this just lets us pass around first-class
modules of type DEBUG.