Re: pros/cons of dissecting types via getTypeInfo() vs getTypeImpl()?

[deansher]

Should I submit a PR to capture what you, @Araq, just said in some appropriate 
way in the typeinfo documentation?