fix bug where typechecker did not see shortcut refinement in external
modules compiled from source