ObjC migrator: early work for migrating implicitly conforming
protocols to classes. This is wip.