Deal with interfaces that extend multiple interfaces

[khatchad]

I originally thought that interfaces, like classes, can only extend one interface (but, of course, classes may implement more than one interface).

[khatchad]

Yes, they can.

[khatchad]

It might be the case that our approach already works as-is. We'll have to think of a few test cases to check.