Bulk of the work for first-class member functions.

Implicit closure creation and all that stuff.
Still some things to do (refcounting, more tests) but it works.