Disallow leaking opaque type implementation from modules during compilation.