On Wed, Apr 16, 2014 at 02:56:40PM -0700, Ben Striegel wrote:
> Getting rid of `self` would seem to mean reintroducing syntax for static methods.

No, it wouldn't. This proposal basically drops any remaining
distinction between "instance" and "static" methods. An instance
method is one that has a first argument that can be deref'd to the
Self type, essentially.