Rename: this object, receiver argument -> dispatch receiver, extension receiver
Rename: auto cast -> smart cast