Update to core.typed 0.2.53