Upgraded core.typed version