Thanks for the notes. I had assumed that the compiler knew more than it does, apparently.

BTW, comparing types **does** work in ICR, ironically, but not in compiled code:

~~~
C::ModeT == Int32
~~~