@Araq What about getType() then? I believe what thatch45 wants is something
like getType(), but for modules.
I understand that module scope is quite a bit different than a type definition,
but surely this could work for already imported modules, and just return a
sequence of types and procedures?