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

[Araq]

`getTypeInfo` prescribes a data format that ideally is produced by the macro 
system instead. And then it wouldn't burden Nim's core anymore, so it seems to 
be a good idea.