* [VOID_FILE,SC] Rewrote the process of loading a VoID file. This is much simpler now (less arguments, less alternatives, completely modules, mostly reusing generic predicates in THREAD_EXT).
* [VOID_FILES,FIX,DEB] Restored debug messages.
* [XSD_DECIMAL,FIX] Third attempt to fix canonical map fro negative decimals...