Does export work like a prefix such that exports foo; means the module exports all types in package foo, plus all types in all subpackages of foo? Or do I need to use multiple exports directives, or wildcards? And is this documented somewhere? Thanks, David