[expl]

Когда я в классе Main экземплирую класс A, то я могу указать тип данных (var a: = new A() либо A, либо B.

Тупой пример:

public addChild(child:DisplayObject)//Где-то в описании API флешплеера
...
addChild(new MovieClip());
addChild(new Sprite());
addChild(new TextField());

Если бы разработчики API написали в определении

public addChild(child:MovieClip)

То Вы бы не смогли добавить всё остальное;
А здесь:

var sprite:Sprite = new Sprite();
var movieClip:MovieClip = new MovieClip();// или var movieClip:Sprite = new MovieClip();
movieClip.addFrameScript(...);//А вот так сможете написать, если обрезали тип до Sprite?
//Но даже если вызова специальных методов MovieClip не требуется, здесь всё происходит внутри функции - обрезка типа переменной гибкости не добавит
addChild(sprite);
addChild(movieClip);

Особой разницы нет. Вы всё равно знаете что создаёте. Но специфичные методы MovieClip могут понадобиться, поэтому лучше не морочить голову и написать MovieClip.

Писать более общий тип имеет смысл в параметрах на входе функций или в полях класса.