Nim as a classic programming language

[Araq]

> What is the strategy for these 5 things, if the compiler can't prove them for 
> certain situations, is then an error issued or not?

There is nothing to prove really. These annotations override the compiler's 
reasonings.