[Python] Code refactor and curry fix

[dbrattli]

• Fix curry/uncurry to handle arbitrary number of arguments
• Split types.py into record.py, union.py
• Added curry.py
• Added back Unit type to type-annotations to better support "strict" type checking mode. We still use "standard" mode for Pyright.

[github-actions]

Python Type Checking Results (Pyright)

✅ All non-excluded files pass

Metric	Value
Excluded files	5

Files excluded from type checking

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

temp/fable-library-py/fable_library/list.py
temp/tests/Python/fable_modules/thoth_json_python/encode.py
temp/tests/Python/test_applicative.py
temp/tests/Python/test_misc.py
temp/tests/Python/test_type.py