- Began refactoring type prop analysis
- Refactored type analysis to use type set
- Negative info propagation
- Changes to ast/vars analysis for eval
- Added missing SunSpider benchmarks
- Added one new SunSpider benchmark to tests