export, import, and use implemented; base special-form names implemented