Fixed bug: 0-ary atoms were not recognized.
Debugger modules are now called printer modules. Added progress report printer.
Updated MSO encoding.