ty creates a lot of TypeInference instances and it is a very large struct. It creates an instance for every:

• scope
• definition
• standalone expression

We should explore if:

• if we can reduce the size of TypeInference itself (e.g. use of ThinVec?)
• if we can reduce the size of TypeInference for standalone expressions, or definition or do they use all fields?