I don't think that's quite correct. IonMonkey also uses an SSA-based intermediate representation, and Crankshaft does generate type specialized code (as does TraceMonkey).
The big thing that IonMonkey is adding is type inference through static analysis, which is a big deal for JavaScript.
He's correct. This type inference is actually being added to JaegerMonkey according to the article, though IonMonkey will have it too when it's ready.
Crankshaft uses type feedback, not type inference. Ie: it will monitor the types of objects to generate type-specialized code, but will not do static type inference on the code to generate type-specialized code.
The big thing that IonMonkey is adding is type inference through static analysis, which is a big deal for JavaScript.