Refined jit compilation. Support for equivalence mappings.