TypeProviders.SDK update (ProvidedTypes.fs) for threat-safety and perf

[Thorium]

The latest Dotnet SDK added ParallelCompilation on by default. That caused random threat-safety-issues in TPs: FS0193: The type 'X' is not compatible with the type 'X'. This fixes that.

Besides that, there is a performance update that hopefully makes TPs fast.

[github-actions]

🤖 This is an automated response from Repo Assist.

This looks like an important update — the .NET SDK now defaults to parallel compilation, and the FS0193 type-compatibility errors under parallel mode are real and reproducible. Updating ProvidedTypes.fs to the latest commit that adds thread-safety guards should fix that class of issue.

The diff is minimal (only paket.lock changes to reference a newer SHA of fsprojects/FSharp.TypeProviders.SDK), which keeps the risk low. I'd suggest running the full test suite on Windows before merging to confirm the parallel-compilation scenario is fixed.

Generated by 🌈 Repo Assist, see workflow run. Learn more.
_{Comment /repo-assist to run again}

_{Add this agentic workflow to your repo}

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@42c2ab5b4e4c9273534c39259b2e0df7f20f07e9