[Python] More typing fixes

[dbrattli]

This PR continues the work on improving Python type annotations in the Fable compiler. It addresses several edge cases related to:

• Option type erasure for CurriedApply expressions (previously only handled Call)
• Callable type annotations for functions that take unit as the only argument
• Generic parameter handling in Option type annotations
• Union case field annotations for lambda/function types
• ResourceManager-wrapped return strategies (e.g., inside with blocks)

[github-actions]

Python Type Checking Results (Pyright)

Metric	Value
Total errors	13
Files with errors	2
Excluded files	3
New errors	✅ No

Excluded files with errors (3 files)

These files have known type errors and are excluded from CI. Remove from pyrightconfig.ci.json as errors are fixed.

File	Errors	Status
temp/tests/Python/test_applicative.py	12	Excluded
temp/tests/Python/fable_modules/thoth_json_python/encode.py	1	Excluded