Python: bump ty-types to 0.0.39, handle EnumComplement

[knutwannheden]

Motivation

ty-types v0.0.39 introduces a new enumComplement TypeDescriptor kind, representing an enum type narrowed by excluding specific members (e.g. the type of c after if c is not Color.RED: is Color & ~Literal[Color.RED]). Without explicit handling, the Python type mapper falls through to _UNKNOWN, dropping type attribution for narrowed enum variables.

Java's type system has no equivalent of literal or subtraction types, so mapping enumComplement follows the same approach as the existing enumLiteral handling: collapse to the underlying enum class type. The excluded-members information is intentionally not preserved on the LST — recipes that need that level of detail should consult the Python AST directly.

See https://github.com/openrewrite/ty-types/releases/tag/v0.0.39 for the upstream release notes.

Summary

• Bump ty-types from >=0.0.31 to >=0.0.39.
• Map the new enumComplement TypeDescriptor to the underlying enum JavaType.Class (same handling as enumLiteral).

Test plan

• pytest tests/python/all/tree/import_test.py (16/16 pass)