Modified the String_of module. Now it is parametrizable, we can print names of objects instead of ids.