How does export interact with transitivity of required modules? Does export only affect the visibility of types immediately declared in the module defined by a module compilation unit, or does it affect types which may be available by virtue of being in required modules? -- Jon