TypeMirror dynamicType

A mirror on the dynamic type.