For typedefs typedef MyType as [Number, Float]; and code like this: function f(myType as MyType) as Void { var x = myType; } it would be nice, if PMC showed type of x as MyType or MyType ([Number, Float]) instead of just [Number, Float].
Although the current implementation is fully correct, the proposed improvement could simplify manual code analysis.