A work in progress model for a new optimizer for PyPy's JIT.