Fix core.typed's name