- Benchmarks
- Tests
- Type checks
- Scopes
    
- Type propagation
- Bytecode gen