Add core.typed.rt