- Refactored type analysis to use type set
- Negative info propagation