TypeInfo in the library

[Benjamin Thaut]

But that would mean that you have to pull the implementation of casts 
and other features that rely on TypeInfo right now into the library too. 
Do you really think this such a good idea? My biggest concern with this 
is, that when TypeInfo is pulled into phobos, the implementation of 
TypeInfo is going to depend on _all_ phobos modules, making at lot 
harder to use D without phobos unless you want to rewrite the entire 
TypeInfo and all features depending on it.