With `verbatimModuleSyntax: true`, why does the following statement cause a compile-time error even though `User` and `createUser` come from the same module?
// models.ts exports both a type and a value
import { User, createUser } from "./models";
const u: User = createUser("ada");