Update core.typed