update core.typed