[FEATURE REQUEST] Centralize type inference

[lucaneg]

Description Having type inference rules directly on symbolic operators makes it difficult to track what logic is being applied and requires redefinition of the operator to customize typing rules depending on the language. We could centralize the implementations in type systems.