core.typed docs