I'm wondering whenever it's possible to iterate over all entities available in a module. My main idea is a wrapper module macro, which could sort-of-borrow other type's procedures declared in another module.
I also didn't find out if it's possible or not to check whenever a certain module was imported or not.