> (e.g. making senders/implementors work in the host on the new format
 > methods).

Why?  Shouldn't polymorphism just handle it by executing 
MCompiledMethod>>#sends: and MBehavior>>#includesSelector:?

(This is the part I loved the most when I realized it).

Paolo