FIXED: In ciao emulation, new_declaration/1 is modular, therefore

       ciao:declaration/2 should also record the module.