Include <typeinfo> on both Windows and OSX: seems like a good idea on
platforms where <typeinfo> is available.