When Rudolf Bing ends his third season as general manager of the Metropolitan Opera next spring, he will have completely restyled twelve operas and achieved a good part of what he was hired to do ...