I think the best approach may be to have an “explicit import bot” that goes around making PRs to packages to turn using X into explicit imports of the names in X that are actually used. That way people can write code with using for convenience but the bot would make the meanings explicit for them and also future-proof their code.