- Progress on type prop analysis
- Added --jit_typeprop command-line option