Link stub type with the compiled code's module #1193
Description
The root cause of #1192
Currently, stub type exists only in the precompiler and it is not linked with the module system. You can use a stub type in define-cproc while the current module is A, but the actual type can be defined in module B and not visible from A.
It hasn't been a big issue since most of the time stub type is used in a module where their actual type is visible.