package foo:foo; world foo { import foo:bar/types; }