Intertype declarations: implement interface
Object implements B: true