Update core.typed version (should fails)