Extract type inference as a standalone SDK?

[vitali87]

Task Description

Consider extracting the type inference functionality as a standalone SDK/package that can be imported and used independently by other projects.

Acceptance Criteria

• Evaluate feasibility of extracting type inference module
• Define clear API boundaries for the SDK
• Determine packaging strategy (separate PyPI package vs monorepo)
• Document SDK usage and integration patterns

Related Files/Components

• Component: Type Inference Engine
• Component: Parser/AST Analysis

Additional Context

The type inference capabilities in this project may be valuable to the broader community as a reusable library. This could increase adoption and contribution while keeping the core codebase focused.

Questions to consider:

• What is the scope of the type inference functionality to extract?
• Should it support multiple languages or focus on specific ones?
• What dependencies would need to be included/excluded?
• How would versioning work between the SDK and main project?

Converted from #226