[m45t3r]

Any language with reflections needs to evaluate types as something meaningful at runtime.

[lmm]

The runtime mirror doesn't have to have the same name as the compile-time type. Look at Java where you have to do weird things with class objects to do reflective access.