TraceMonkey, JaegerMonkey, and IonMonkey. Well, the names are nothing if not consistent, but impossible to keep straight. I think IonMonkey is the new one?
Type Inference is additional code that analyzes JS both globally and locally for types, and feeds that info into the JITs to make them more effective.
Previously Firefox used TraceMonkey, then TraceMonkey+JaegerMonkey, and now JaegerMonkey+Type Inference. The plan is to move to IonMonkey+Type Inference (not sure where JaegerMonkey fits into that).
