- Enabled propagation of known types through phi nodes
- Commit before peephole opt refactoring