The current semantics behind import match the design document, save for a lack of an error that should occur given import () = ...