Clarify core.typed wording