I would almost rather see the HOF segmented by great hitters (with appropriate highlights and paraphernalia), great fielders, great baserunners, and a special place for the all-time greats (the pantheon, so to speak).
That way, Edgar could be honored with the great DH's of his time in one area, Omar Vizquel could be honored with the great glovemen (and barehanders), Vince Coleman/Willie Wilson could be honored... all in their appropriate areas.
And the true greats can keep their pantheon