1. It absolutely checks and uses purity information at compile time: http://nimrod-lang.org/blog/writetracking.html

3. If == runtime control structure. When == COMPILE time control structure...code in a failing when clause is not compiled. Basically the equivalent of something like an #ifdef pre-processor macro in C.

4. Eh, I like it.

5. Never been an issue.