Importing host types in JS embedding

[bvibber]

There's been talk on other proposals about strings, including the notion of using type imports to import JavaScript host strings as a type and pass them around, with proper type checks at call boundaries.

Is that possible under this proposal? I don't see a mention yet of a JS embedding API for specifying host reference types like object, string, symbol, etc.