Update to core.typed 0.1.17