bugfix in objc.conforms() for informal protocols