¿Cómo realizar la verificación del tipo de tiempo de ejecución en Dart?

La especificación de dardo dice: La información de tipo reificada refleja los tipos de objetos en tiempo de ejecución y siempre puede ser consultada por construcciones dinámicas de verificación de tipo (los análogos de instanceOf, casts, typecase, etc. en otros lenguajes). Suena genial,...