InterfaceExpr now supports superinterfaces, adjusted tests accordingly.
CodeEmitter also supports them partially now.